Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
331	TICS-1411; No. of Pages 14 Feature Review Logic, probability, and human reasoning Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2015-03-16 01:23:21 Logical consequence Propositional calculus Deduction Philosophical logic Inference Mental model Psychology of reasoning Argument Entailment Logic Science Reasoning
332	CHAPTER TRUTH TABLES, LOGIC, AND PROOFS ■ 1.1 Add to Reading List Source URL: www.macrotex.net Language: English - Date: 2002-12-01 12:22:21 Mathematics Abstract algebra Logical connectives Semantics Truth table Negation If and only if Vacuous truth Tautology Logic Propositional calculus Boolean algebra
333	This article was downloaded by: [Princeton University] On: 05 June 2012, At: 09:57 Publisher: Psychology Press Informa Ltd Registered in England and Wales Registered Number: [removed]Registered office: Mortimer House, 37- Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-09-06 02:48:02 Propositional calculus Grammar Semantics Logical connectives Model theory Negation Logic programming First-order logic Axiom Logic Mathematical logic Science
334	11245_2008_9049_28_1-web[removed] Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:40:14 Conditionals Propositional calculus Logical consequence Thought Counterfactual conditional Mental model Material conditional Abductive reasoning Causality Logic Science Reasoning
335	An Approach towards the Study of Symmetric Queries Marc Gyssens Jan Paredaens Dirk Van Gucht Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-08-08 12:36:55 Logical syntax Metalogic Philosophical logic Propositional calculus FO Symmetric matrix Logic Deduction Entailment
336	A Formal Approach to Vague Expressions with Indexicals Liesbeth Martens and Giuseppe Primiero? Centre for Logic and Philosophy of Science, Ghent University, Belgium {Liesbeth.Martens, Giuseppe.Primiero}@UGent.be Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-11-22 11:12:55 Semantics Fuzzy logic Propositional calculus Philosophy of language Non-classical logic Indexicality Vagueness Sorites paradox Entailment Logic Mathematical logic Mathematics
337	Spoiled for Choice?∗ Diderik Batens Centre for Logic and Philosophy of Science Ghent University, Belgium [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-08-16 10:44:10 Paraconsistent logic Philosophical logic Propositional calculus Model theory Interpretation Propositional variable Classical logic Logic Mathematical logic Non-classical logic
338	Mem Cogn[removed]:266–279 DOI[removed]s13421[removed]Reasoning from connectives and relations between entities Robert Mackiewicz & Philip N. Johnson-Laird Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-09-30 19:08:07 Propositional calculus Reasoning Boolean algebra Binary operations Logical connectives Logical biconditional Mental model Validity Inference Logic Science Knowledge
339	A modal language for contextual computations Giuseppe Primiero FWO - Research Foundation Flanders Centre for Logic and Philosophy of Science University of Ghent (Belgium) June 27, 2012 Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-06-27 07:55:59 Model theory Proof theory Propositional calculus Natural deduction Entailment Modal logic Interpretation Valuation Kripke semantics Logic Philosophical logic Deduction
340	Why Believability Cannot Explain Belief Revision Uri Hasson ([removed]) Psychology Department, Princeton University Princeton, NJ[removed]USA Philip N. Johnson-Laird ([removed]) Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:36:08 Philosophical logic Propositional calculus Logical consequence Binary operations Entailment Belief revision Conditional statement Causality Argument Logic Science Conditionals

UPDATE